9f0e5d242a12982a74f2f81257607e0d758ed22b,src/main/java/wyc/commands/Compile.java,Compile,addVerificationBuildRules,#StdProject#,262

Before Change


		Content.Filter<WyalFile> wyalExcludes = null;
		// Rule for compiling WyIL to WyAL
		Wyil2WyalBuilder wyalBuilder = new Wyil2WyalBuilder(project);
		wyalBuilder.setLogger(logger);
		project.add(new StdBuildRule(wyalBuilder, wyildir, wyilIncludes, wyilExcludes, wyaldir));
		// Rule for compiling WyAL to WyCS
		Wyal2WycsBuilder wycsBuilder = new Wyal2WycsBuilder(project);

After Change


		Content.Filter<WyalFile> wyalExcludes = null;
		// Rule for compiling WyIL to WyAL
		Wyil2WyalBuilder wyalBuilder = new Wyil2WyalBuilder(project);
		if(verbose) {
			wyalBuilder.setLogger(logger);
		}
		project.add(new StdBuildRule(wyalBuilder, wyildir, wyilIncludes, wyilExcludes, wyaldir));
		// Rule for compiling WyAL to WyCS